A Maximal Algebra.
نویسندگان
چکیده
منابع مشابه
Infinitely many maximal primitive positive clones in a diagonalizable algebra
We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic GL. Mathematics subject classification: 03F45, 03G25, 06E25.
متن کاملMaximal ideal space of a commutative coefficient algebra
The basic notion of the article is a pair (A, U), whereA is a commutative C-algebra and U is a partial isometry such thatA ∋ a → UaU is an endomorphism of A and UU ∈ A. We give a description of the maximal ideal space of the smallest coefficient C-algebra E∗(A) of the algebra C(A, U) generated by the system (A, U).
متن کاملEight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
This paper combines two important directions of research in temporal reson-ing: that of nding maximal tractable subclasses of Allen's interval algebra, and that of reasoning with metric temporal information. Eight new maximal tractable subclasses of Allen's interval algebra are presented, some of them subsuming previously reported tractable algebras. The algebras allow for metric temporal const...
متن کاملMaximal Tractable Subclasses of Allen ' s Interval Algebra : Preliminary
This paper continues Nebel and B urckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P 6 = NP), in addition to their previously reported ORD-Horn subclass. Furthermore, twelve tractable subclasses are identiied, whose maximality is not decided. Four of these can express the notion of sequentiality between interva...
متن کاملMaximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report
This paper continues Nebel and B urckert's investigation of Allen's interval algebra by presenting nine more maximal tractable subclasses of the algebra (provided that P 6 = NP), in addition to their previously reported ORD-Horn subclass. Furthermore, twelve tractable subclasses are identiied, whose max-imality is not decided. Four of these can express the notion of sequentiality between interv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 1972
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-11071